1. Reasoning in Boolean networks
پدیدآورنده : / by Wolfgang Kunz and Dominik Stoffel
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Integrated circuits, Very large scale integration, Testing, Data processing,Integrated circuits, Verification, Data processing,Logic design, Data processing
رده :
TK7874
.
K866
1997
2. Reasoning in Boolean networks: logic synthesis and verification using testing techniques
پدیدآورنده : Kunz, Wolfgang
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Integrated circuits-- Verification-- Data processing,، Logic design-- Data processing
رده :
TK
7874
.
K866
1997
3. Reasoning in boolean networks : logic synthesis and verification using testing techniques
پدیدآورنده : Kunz, Wolfgang
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Testing -- Data processing ، Integrated circuits -- Very large scale integration,Data processing ، Integrated circuits -- Verification,Data processing ، Logic design
رده :
TK
7874
.
K866
1997
